double pipe (||) - Alemán Inglés Diccionario